module Main where

main :: IO ()
main =
    let x = 3
    in return ()

2020-12-30 06:33:26.391800777 [ThreadId 7] - <--2--{"result":[{"edit":{"changes":{"file:///home/kostas/programming/test-
hls/Main.hs":[{"range":{"start":{"line":4,"character":12},"end":{"line":4,"character":13}},"newText":"(3’ • In the expression: 3 In 
an equation for ‘x :: Integer)"}]}},"kind":"quickfix","diagnostics":[{"severity":2,"range":{"start":{"line":4,"character":12},"end":
{"line":4,"character":13}},"source":"typecheck","message":"• Defaulting the following constraint to type ‘Integer’\n    Num p0 
arising from the literal ‘3’\n• In the expression: 3\n  In an equation for ‘x’: x = 3\n  In the expression: let x = 3 in return 
()"}],"title":"Add type annotation ‘Integer’ to ‘3’ • In the expression: 3 In an equation for ‘x’"}],"jsonrpc":"2.0","id":556}

- let x = 3
+ let x = (3’ • In the expression: 3 In an equation for ‘x :: Integer)

    - Defaulting the following constraint to type ‘Integer’
        Num p0 arising from the literal ‘3’
    - In the expression: 3
      In an equation for ‘x’: x = 3
      In the expression: let x = 3 in return ()